Annotated bibliography on software maintenance

Collaborative Software Engineering: An Annotated Bibliography

This work is intended to be a useful starting point for those interested in researching the field of Collaborative Software Engineering (Cse). We list current Cse tools, models, and discussion papers, as well as important papers in related fields. As this bibliography is a broad survey of many research areas, it should prove useful for most aspects of software engineering research. Please note:...

Annotated bibliography on research

Multiphysics and multiscale software frameworks : an annotated bibliography

Multiphysics and multiscale modelling and simulation (MMS) is an emerging trend for the analysis and design of complex systems in many domains. As a result, there are an overwhelmingly large number of MMS software frameworks in the literature and market, while a comprehensive account of these is apparently missing. This paper presents an annotated bibliography of MMS software frameworks. A thor...

Safety-Critical Software: Status Report and Annotated Bibliography

Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written In the literature with respect to system and software safety. This repo~l sum;-,;A& .es some of that literature and outlines the development of saf,. criticai zcw,vare. Techniques for hazard identification and analysis are discussed. 'Further, techniques for the development of...

Formal Techniques for Information and Software Security: An Annotated Bibliography

This report is the result of an extensive literature survey performed by its authors. Our goal is to provide an overview of existing formal approaches to information and software security. A rough classification of the topics covered in the research literature and brief descriptions of these topics should help the reader find his or her way in the substantial body of research.